From: Timo Tijhof <krinklemail@gmail.com>
Date: Thu, 9 Aug 2018 16:54:53 +0000 (+0100)
Subject: search: Use @width-breakpoint-tablet instead of @deviceWidthTablet
X-Git-Tag: 1.34.0-rc.0~4508^2
X-Git-Url: http://git.cyclocoop.org/%22.%24info%5B?a=commitdiff_plain;h=efc7f7dd9a3cf941b210b437450f79cdc5a63c93;p=lhc%2Fweb%2Fwiklou.git

search: Use @width-breakpoint-tablet instead of @deviceWidthTablet

The file was already importing 'mediawiki.ui/variables', which
defines @width-breakpoint-tablet, but the code itself was still
referring to the deprecated @deviceWidthTablet global variable.

Bug: T140804
Change-Id: I112eb773871d73fde45e0e6bbe3f67baac747213
---

diff --git a/resources/src/mediawiki.special.search.interwikiwidget.styles.less b/resources/src/mediawiki.special.search.interwikiwidget.styles.less
index 8ec2735ea4..7265399a20 100644
--- a/resources/src/mediawiki.special.search.interwikiwidget.styles.less
+++ b/resources/src/mediawiki.special.search.interwikiwidget.styles.less
@@ -101,7 +101,7 @@
 
 	/* tablet and up */
 
-	@media only screen and ( min-width: @deviceWidthTablet ) {
+	@media only screen and ( min-width: @width-breakpoint-tablet ) {
 
 		#mw-interwiki-results {
 			width: 30%;